[[Functor category]]
# Category of presheaves

The **category of presheaves** $\Set^{\op{\cat C}}$ is a [[category]] where
an object is a [[Presheaf]]
and a morphism is a [[natural transformation]]. #m/def/cat 
Thus it is a particular example of a [[functor category]].

## Properties

- By the [[Yoneda embedding]], $\cat C$ is a [[Subcategory|full subcategory]] of $\Set^{\op{\cat C}}$


#
---
#state/develop | #lang/en | #SemBr